What Moser Could Have Asked: Counting Hamilton Cycles in Tournaments

Moser asked for a construction of explicit tournaments on $n$ vertices having at least $(\frac{n}{3e})^n$ Hamilton cycles. We show that he could have asked for rather more

A simple axiomatization of the median procedure on median graphs

A profile = (x1, ..., xk), of length k, in a finite connected graph G is a sequence of vertices of G, with repetitions allowed. A median x of is a vertex for which the sum of the distances from x to the vertices in the profile is minimum. The median function finds the set of all medians of a profile. Medians are important in location theory and consensus theory. A median graph is a graph for which every profile of length 3 has a unique median. Median graphs are well studied. They arise in many arenas, and have many applications. We establish a succinct axiomatic characterization of the median procedure on median graphs. This is a simplification of the characterization given by McMorris, Mulder and Roberts [17] in 1998. We show that the median procedure can be characterized on the class of all median graphs with only three simple and intuitively appealing axioms: anonymity, betweenness and consistency. We also extend a key result of the same paper, characterizing the median function for profiles of even length on median graphs

From Hall's Matching Theorem to Optimal Routing on Hypercubes

AbstractWe introduce a concept of so-called disjoint ordering for any collection of finite sets. It can be viewed as a generalization of a system of distinctive representatives for the sets. It is shown that disjoint ordering is useful for network routing. More precisely, we show that Hall's “marriage” condition for a collection of finite sets guarantees the existence of a disjoint ordering for the sets. We next use this result to solve a problem in optimal routing on hypercubes. We give a necessary and sufficient condition under which there are internally node-disjoint paths each shortest from a source node to any others(s⩽n) target nodes on ann-dimensional hypercube. When this condition is not necessarily met, we show that there are always internally node-disjoint paths each being either shortest or near shortest, and the total length is minimum. An efficient algorithm is also given for constructing disjoint orderings and thus disjoint short paths. As a consequence, Rabin's information disposal algorithm may be improved

Maximal outerplanar graphs as chordal graphs, path-neighborhood graphs, and triangle graphs

Maximal outerplanar graphs are characterized using three different classes of graphs. A path-neighborhood graph is a connected graph in which every neighborhood induces a path. The triangle graph $T(G)$ has the triangles of the graph $G$ as its vertices, two of these being adjacent whenever as triangles in $G$ they share an edge. A graph is edge-triangular if every edge is in at least one triangle. The main results can be summarized as follows: the class of maximal outerplanar graphs is precisely the intersection of any of the two following classes: the chordal graphs, the path-neighborhood graphs, the edge-triangular graphs having a tree as triangle graph

Five axioms for location functions on median graphs

__Abstract__ In previous work, two axiomatic characterizations were given for the median function on median graphs: one involving the three simple and natural axioms anonymity, betweenness and consistency; the other involving faithfulness, consistency and ½-Condorcet. To date, the independence of these axioms has not been a serious point of study. The aim of this paper is to provide the missing answers. The independent subsets of these five axioms are determined precisely and examples provided in each case on arbitrary median graphs. There are three cases that stand out. Here non-trivial examples and proofs are needed to give a full answer. Extensive use of the structure of median graphs is used throughout

The 2-quasi-greedy algorithm for cardinality constrained matroid bases

AbstractThe quasi-greedy algorithm, as proposed by Glover and Klingman [8], efficiently solves minimum weight spanning tree problems with a fixed (or bounded) number of edges incident to a specified vertex. As observed in [8], the results carry through to general matroid problems (where a base contains a bounded number of elements from a specified set). We extend this work to provide an efficient 2-quasi-greedy algorithm where a minimum weight base is constrained to have a fixed number of elements from two disjoint sets.Our main results show that optimal bases for adjacent states may not themselves be adjacent. However, optimal solutions for adjacent states may be identified solely from information available in the current base, yielding a method whose efficiency rivals that of the quasi-greedy method. We also give theorems making it possible to jump over certain adjacent states, further increasing efficiency

Turán theorems and convexity invariants for directed graphs

AbstractThis paper is motivated by the desire to evaluate certain classical convexity invariants (specifically, the Helly and Radon numbers) in the context of transitive closure of arcs in the complete digraph. To do so, it is necessary to establish several new Turán type results for digraphs and characterize the associated extremal digraphs. In the case of the Radon number, we establish the following analogue for transitive closure in digraphs of Radon's classical convexity theorem [J. Radon, Mengen konvexer Körper, die einer gemeinsamen Punkt enthalten, Math. Ann. 83 (1921) 113–115]: in a complete digraph on n⩾7 vertices with >n2/4 arcs, it is possible to partition the arc set into two subsets whose transitive closures have an arc in common

FAULT TOLERANCE OF CAYLEY GRAPHS

Abstract. It is a difficult problem in general to decide whether a Cayley graph Cay(G; S) is connected where G is an arbitrary finite group and S a subset of G. For example, testing primitivity of an element in a finite field is a special case of this problem but notoriously hard. In this paper, it is shown that if a Cayley graph Cay(G; S) is known to be connected then its fault tolerance can be determined in polynomial time in |S | log(|G|). This is accomplished by establishing a new structural result for Cayley graphs. This result also yields a simple proof of optimal fault tolerance for an infinite class of Cayley graphs, namely exchange graphs. We also use the proof technique for our structural result to give a new proof of a known result on quasiminimal graphs. 1